<html>
<head><meta charset="utf-8"><title>RUST_LOG logging · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html">RUST_LOG logging</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136834241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834241">(Oct 31 2018 at 08:29)</a>:</h4>
<p>I am try to make miri set RUST_LOG based on MIRI_LOG, so I don't have to always set both. However, I do not even understand how we can have two logging "things" in the same project, isn't that stuff supposed to be global? <span class="user-mention" data-user-id="124288">@Oli</span> any idea what is going on here?</p>



<a name="136834243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834243">(Oct 31 2018 at 08:29)</a>:</h4>
<p>jop</p>



<a name="136834245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834245">(Oct 31 2018 at 08:30)</a>:</h4>
<p>rustc uses a different <code>log</code> crate</p>



<a name="136834286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834286">(Oct 31 2018 at 08:30)</a>:</h4>
<p>thus, different global statics</p>



<a name="136834289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834289">(Oct 31 2018 at 08:30)</a>:</h4>
<p>Also miri contains some funny code to change the logging format, but rustc doesn't, so messages look very different depending on where they come from</p>



<a name="136834290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834290">(Oct 31 2018 at 08:30)</a>:</h4>
<p>thus completely separate logging</p>



<a name="136834298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834298">(Oct 31 2018 at 08:30)</a>:</h4>
<blockquote>
<p>rustc uses a different <code>log</code> crate</p>
</blockquote>
<p>different crate? so <code>extern crate log;</code> is not the same thing for both?</p>



<a name="136834299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834299">(Oct 31 2018 at 08:30)</a>:</h4>
<p>I wrote the funny miri code, feel free to nuke it, it's usefulness is not existing anymore</p>



<a name="136834307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834307">(Oct 31 2018 at 08:30)</a>:</h4>
<blockquote>
<blockquote>
<p>rustc uses a different <code>log</code> crate</p>
</blockquote>
<p>different crate? so <code>extern crate log;</code> is not the same thing for both?</p>
</blockquote>



<a name="136834308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834308">(Oct 31 2018 at 08:31)</a>:</h4>
<p>yea</p>



<a name="136834320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834320">(Oct 31 2018 at 08:31)</a>:</h4>
<p>woah. how that?</p>



<a name="136834326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834326">(Oct 31 2018 at 08:31)</a>:</h4>
<p>"it's complicated" and I forget a lot of the details</p>



<a name="136834330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834330">(Oct 31 2018 at 08:31)</a>:</h4>
<p>but it's a mess</p>



<a name="136834333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834333">(Oct 31 2018 at 08:31)</a>:</h4>
<p><a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> <code>log</code> vs rustc-distributed <code>log</code></p>



<a name="136834334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834334">(Oct 31 2018 at 08:31)</a>:</h4>
<p>sounds like it</p>



<a name="136834338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834338">(Oct 31 2018 at 08:31)</a>:</h4>
<p>but okay I guess this means I need a hook on the rustc side to rebuild the logger, cant do it from miri</p>



<a name="136834379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834379">(Oct 31 2018 at 08:32)</a>:</h4>
<p>we used to use the rustd <code>log</code>, but it caused all kinds of problems</p>



<a name="136834383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834383">(Oct 31 2018 at 08:32)</a>:</h4>
<p>"rebuild"?</p>



<a name="136834385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834385">(Oct 31 2018 at 08:32)</a>:</h4>
<p>we already are calling <code>rustc_driver::init_logger()</code></p>



<a name="136834445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834445">(Oct 31 2018 at 08:34)</a>:</h4>
<p>I am changing <code>RUST_LOG</code> during execution</p>



<a name="136834446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834446">(Oct 31 2018 at 08:34)</a>:</h4>
<p>but the change isnt picked up</p>



<a name="136834448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834448">(Oct 31 2018 at 08:35)</a>:</h4>
<p>so I need to to reread the config</p>



<a name="136834513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834513">(Oct 31 2018 at 08:36)</a>:</h4>
<p>yea, just call <code>rustc_driver::init_logger()</code> I think</p>



<a name="136834515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136834515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136834515">(Oct 31 2018 at 08:36)</a>:</h4>
<p>or make the change before the first call to it</p>



<a name="136835220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835220">(Oct 31 2018 at 08:56)</a>:</h4>
<p>I want to do the change late so that it applies to as little of rustc's own stuff as possible</p>



<a name="136835221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835221">(Oct 31 2018 at 08:56)</a>:</h4>
<p>though with the query-based architecture, that's kind of hard</p>



<a name="136835411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835411">(Oct 31 2018 at 09:01)</a>:</h4>
<div class="codehilite"><pre><span></span>thread &#39;main&#39; panicked at &#39;env_logger::init should not be called after logger initialized: SetLoggerError(())&#39;, libcore/result.rs:1009:5
</pre></div>


<p>:(</p>



<a name="136835726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835726">(Oct 31 2018 at 09:06)</a>:</h4>
<p>uhm</p>



<a name="136835729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835729">(Oct 31 2018 at 09:06)</a>:</h4>
<p>just don't call it at program start</p>



<a name="136835736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835736">(Oct 31 2018 at 09:06)</a>:</h4>
<p>but then we will get no logging at all for that even if we want to, right?</p>



<a name="136835747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835747">(Oct 31 2018 at 09:07)</a>:</h4>
<p>or make it <code>if env::var("RUST_LOG") { rustc_driver::init_logger() }</code></p>



<a name="136835751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835751">(Oct 31 2018 at 09:07)</a>:</h4>
<p>and create a second <code>RUST_LATE_LOG</code> for miri to turn it on later if <code>RUST_LOG</code> wasn't already specified</p>



<a name="136835769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136835769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136835769">(Oct 31 2018 at 09:08)</a>:</h4>
<p>(and convert the env var from <code>RUST_LATE_LOG</code> to <code>RUST_LOG</code> then)</p>



<a name="136836199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836199">(Oct 31 2018 at 09:17)</a>:</h4>
<p>Hm. For now I just do the setting a bit earlier</p>



<a name="136836229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836229">(Oct 31 2018 at 09:17)</a>:</h4>
<p>with all these queries, we wouldn't get a clean separation between the miri execution and the CTFE executions anyway, right?</p>



<a name="136836266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836266">(Oct 31 2018 at 09:18)</a>:</h4>
<p>the latter can happen arbitrarily late</p>



<a name="136836274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836274">(Oct 31 2018 at 09:18)</a>:</h4>
<p>so we'd have to switch every time we fire a query, or so...</p>



<a name="136836376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836376">(Oct 31 2018 at 09:20)</a>:</h4>
<p>hmm... I think we're late enough in the process for that not to happen</p>



<a name="136836383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836383">(Oct 31 2018 at 09:20)</a>:</h4>
<p>maybe a few times</p>



<a name="136836411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836411">(Oct 31 2018 at 09:20)</a>:</h4>
<p>once the <code>collector</code> is done, there should be little that we need that hasn't already been cached</p>



<a name="136836488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836488">(Oct 31 2018 at 09:22)</a>:</h4>
<p><code>collector</code>? where is that done?</p>



<a name="136836531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836531">(Oct 31 2018 at 09:23)</a>:</h4>
<p>for now I got this: <a href="https://github.com/solson/miri/pull/502/files" target="_blank" title="https://github.com/solson/miri/pull/502/files">https://github.com/solson/miri/pull/502/files</a></p>



<a name="136836595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836595">(Oct 31 2018 at 09:25)</a>:</h4>
<p>part of the compiler steps. It's basically the driving force behind everything</p>



<a name="136836666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836666">(Oct 31 2018 at 09:26)</a>:</h4>
<p>I mean, where in <code>src/bin/miri.rs</code> is that done?</p>



<a name="136836670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836670">(Oct 31 2018 at 09:26)</a>:</h4>
<p>as in, where would then be a good place to initialize logging? :D</p>



<a name="136836689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836689">(Oct 31 2018 at 09:27)</a>:</h4>
<p>oh, I'd init logging where the miri interpretation is triggered</p>



<a name="136836788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136836788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136836788">(Oct 31 2018 at 09:28)</a>:</h4>
<p>so in <a href="https://github.com/solson/miri/pull/502/files#diff-c3d602c5c8035a16699ce9c015bfeceaR113" target="_blank" title="https://github.com/solson/miri/pull/502/files#diff-c3d602c5c8035a16699ce9c015bfeceaR113">https://github.com/solson/miri/pull/502/files#diff-c3d602c5c8035a16699ce9c015bfeceaR113</a></p>



<a name="136837956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/RUST_LOG%20logging/near/136837956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/RUST_LOG.20logging.html#136837956">(Oct 31 2018 at 09:52)</a>:</h4>
<p>that seems to work, great :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>